On the Archimedean Multiple-valued Logic Algebras
نویسنده
چکیده
The Archimedean property is one of the most beautiful axioms of the classical arithmetic and some of the methods of constructing the field of real numbers are based on this property. It is well-known that every Archimedean `-group is abelian and every pseudo-MV algebra is commutative. The aim of this paper is to introduce the Archimedean property for pseudo-MTL algebras and FLw-algebras. The main results consit of proving that there exist non-commutative Archimedean FLw-algebras. We also prove that any locally finite FLw-algebra is Archimedean.
منابع مشابه
MV-algebras: a variety for magnitudes with archimedean units
Chang’s MV-algebras are, on the one hand, the algebras of the infinite-valued Lukasiewicz calculus and, on the other hand, they are categorically equivalent to abelian lattice-ordered groups with a distinguished strong unit, for short, unital `-groups. The latter are a modern mathematization of the time-honored euclidean magnitudes with an archimedean unit. While for magnitudes the unit is no l...
متن کاملAndrew Schumann NON - ARCHIMEDEAN VALUED PREDICATE LOGIC
In this paper I propose the non-Archimedean multiple-validity. Further, I build an infinite-order predicate logical language in that predicates of various order are considered as fuzzy relations. Such a language can have non-Archimedean valued semantics. For instance, infinite-order predicates can have an interpretation in the set [0, 1] of hyperreal (hyperrational) numbers. Notice that there e...
متن کاملOn the hyperreal state space
The aim of this work is to study a class of non-archimedean valued measures on MV-algebras. We call them hyperreal states and their definition naturally arise from (the uniform version of) Di Nola representation theorem for MV-algebras (cf [5, 6]): for any MV-algebra A = (A,⊕,¬,>,⊥) there exists a ultrafilter U on the cardinality of A such that A embeds into (∗[0, 1]U) Spec(A) (where as usual S...
متن کاملFixed point approach to the Hyers-Ulam-Rassias approximation of homomorphisms and derivations on Non-Archimedean random Lie $C^*$-algebras
In this paper, using fixed point method, we prove the generalized Hyers-Ulam stability of random homomorphisms in random $C^*$-algebras and random Lie $C^*$-algebras and of derivations on Non-Archimedean random C$^*$-algebras and Non-Archimedean random Lie C$^*$-algebras for the following $m$-variable additive functional equation: $$sum_{i=1}^m f(x_i)=frac{1}{2m}left[sum_{i=1}^mfle...
متن کاملPositive-additive functional equations in non-Archimedean $C^*$-algebras
Hensel [K. Hensel, Deutsch. Math. Verein, {6} (1897), 83-88.] discovered the $p$-adic number as a number theoretical analogue of power series in complex analysis. Fix a prime number $p$. for any nonzero rational number $x$, there exists a unique integer $n_x inmathbb{Z}$ such that $x = frac{a}{b}p^{n_x}$, where $a$ and $b$ are integers not divisible by $p$. Then $|x...
متن کامل